\relax 
\catcode`"\active
\select@language{italian}
\@writefile{toc}{\select@language{italian}}
\@writefile{lof}{\select@language{italian}}
\@writefile{lot}{\select@language{italian}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduzione}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Obiettivo del documento}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Finalit\IeC {\`a} e obiettivi del progetto}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.2.1}Funzionalit\IeC {\`a} generali del prodotto software}{5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.2.2}Limitazioni del prodotto software}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Glossario}{7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.3.1}Definizioni}{7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.3.2}Acronimi}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}Struttura del documento}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Descrizione generale}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Utenti del sistema e caratteristiche}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Analisi del prodotto}{10}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.1}Interfacce di sistema}{10}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.2}Interfacce utente}{11}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Schermata di accesso}}{11}}
\newlabel{fig:Schermata di accesso}{{1}{11}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Homepage}}{12}}
\newlabel{fig:Homepage}{{2}{12}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Acquisto Pacchetto Viaggio}}{12}}
\newlabel{fig:Acquisto Pacchetto Viaggio}{{3}{12}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Selezione Struttura}}{13}}
\newlabel{fig:SelezionaStruttura}{{4}{13}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Selezione Attivit\IeC {\`a} e Gift List}}{13}}
\newlabel{fig:Attivita}{{5}{13}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Schermata di riepilogo}}{14}}
\newlabel{fig:Riepilogo}{{6}{14}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Pagina di gestione profilo cliente}}{14}}
\newlabel{fig:Profilo}{{7}{14}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Pagina di gestione pacchetto acquistato}}{15}}
\newlabel{fig:Pacchetto Acquistato}{{8}{15}}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces Pagina di visualizzazione pacchetto suggerito}}{15}}
\newlabel{fig:Amico}{{9}{15}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.3}Interfacce hardware}{16}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.4}Interfacce software}{16}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.5}Interfacce di comunicazione}{16}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.6}Vincoli sull'occupazione di memoria}{16}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.7}Operazioni}{17}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.8}Vincoli per l'installazione}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Caratteristiche degli utenti}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Vincoli generali}{17}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.1}Politiche di regolamentazione}{17}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.2}Limitazioni hardware}{18}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.3}Interfacce con altri applicativi software}{18}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.4}Operazioni parallele}{18}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.5}Architettura del sistema}{18}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.6}Protocollo di handshake}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Ipotesi preliminari}{18}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.5.1}Assunzioni}{18}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.5.2}Specifiche generali}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6}Requisiti da analizzare in futuro}{20}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Analisi dei requisiti}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Requisiti funzionali}{21}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.1.1}Possibili scenari}{21}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.1.2}Identificazione dei requisiti}{25}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.1.3}Casi d'uso}{27}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.1}Nominare un nuovo impiegato}{29}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.2}Registrare un nuovo account}{31}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.3}Accedere al sistema}{33}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.4}Modificare dati anagrafici}{35}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.5}Inserire Prodotto Base}{37}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.6}Modificare Prodotto Base}{39}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.7}Creare un pacchetto preconfigurato partendo da singoli prodotti}{41}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.8}Ricercare un pacchetto preconfigurato}{43}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.9}Personalizzare un pacchetto preconfigurato}{45}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.10}Suggerire un pacchetto acquistato a un amico}{47}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.11}Visualizzare un pacchetto suggerito}{49}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.12}Acquistare il pacchetto suggerito}{51}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.13}Creare una gift list durante l'acquisto}{53}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.14}Acquisto di un pacchetto}{55}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.15}Esplorare la gift list di un pacchetto ricevuto}{57}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.3.16}Acquistare prodotti all'interno di una gift list}{58}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.1.4}Class Diagram}{60}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.1.5}Statechart}{61}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.5.1}Registrazione dell'utente}{61}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.1.5.2}Gestione della gift list}{61}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Requisiti non funzionali}{62}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1}Requisiti prestazionali}{62}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.2}Requisiti di sicurezza}{62}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.3}Requisiti legati alla base di dati}{62}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.4}Vincoli generali di progetto}{62}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.5}Attributi del sistema}{63}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.2.5.1}Affidabilit\IeC {\`a}}{63}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.2.5.2}Accessibilit\IeC {\`a}}{63}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.2.5.3}Sicurezza}{63}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.2.5.4}Portabilit\IeC {\`a}}{63}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.6}Altri requisiti}{63}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.2.6.1}Scalabilit\IeC {\`a} del sistema}{63}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.2.6.2}Gestione degli errori}{63}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {3.2.6.3}Estensibilit\IeC {\`a} del sistema}{64}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Appendice}{65}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Modellazione Alloy}{65}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.1}Introduzione}{65}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.2}Definizione dati primitivi e entit\IeC {\`a}}{65}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.3}Definizione fatti e asserzioni}{69}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.4}Definizione predicati}{73}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.5}Mondi generati}{76}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {4.1.5.1}Mondo completo}{76}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {4.1.5.2}Pacchetto preconfigurato}{77}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {4.1.5.3}Pacchetto acquistato}{77}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {4.1.5.4}Acquisto di attivit\IeC {\`a} in pacchetto gi\IeC {\`a} acquistato}{78}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {4.1.5.5}Aggiunta di attivit\IeC {\`a} a gift list di pacchetto gi\IeC {\`a} acquistato}{79}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Strumenti utilizzati}{79}}
